Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic
نویسندگان
چکیده
منابع مشابه
A Semantics for Default Logic
In spite of the importance of well-understood semantics for knowledge representation systems, proponents of default logic have tended to ignore the lack of a general model-theoretic semantics for the formalism. This shortcoming is addressed by the presentation of such a model-theory. This characterization differs in some ways from traditional semantics. These differences are explained and motiv...
متن کاملProbabilistic Logic Under Coherence, Conditional Interpretations, and Default Reasoning
We study a probabilistic logic based on the coherence principle of de Finetti and a related notion of generalized coherence (g-coherence). We examine probabilistic conditional knowledge bases associated with imprecise probability assessments defined on arbitrary families of conditional events. We introduce a notion of conditional interpretation defined directly in terms of precise probability a...
متن کاملA Preferential Model Semantics For Default Logic
Shoham, proposed, a uniform approach to systems for nonmonotonic reasoning, which consists in considering standard logics augmented with a preference relation on the interpretations. Circumscription can easily -seen. to be a special case of this preference logic framework, but capturing default logic turned out to-be, more difficult, and is even thought to be impossible by some researchers of n...
متن کاملA Default Logic Patch for Default Logic
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-logic knowledge parts of the sources are contradictory, as default theories trivialize in this case. To overcome this problem, it is shown that replacing each formula belonging to Minimally Unsatisfiable Subformulas by ...
متن کاملArgumentation Semantics for Prioritised Default Logic
We endow prioritised default logic (PDL) with argumentation semantics using the ASPIC framework for structured argumentation, and prove that the conclusions of the justified arguments are exactly the prioritised default extensions. Argumentation semantics for PDL will allow for the application of argument game proof theories to the process of inference in PDL, making the reasons for accepting a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1998
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(98)00042-3